echo "-------------- make clean --------------"
echo ""
make clean
echo ""

echo "--------------    make    --------------"
echo ""
make
echo ""

echo "------------- make public --------------"
echo ""
make public
echo ""
